Editing graphs to satisfy degree constraints: a parameterized approach
- Creator: Mathieson, Luke , Szeider, Stefan
- Resource Type: journal article
- Date: 2012
Clique-width is NP-complete
- Creator: Fellows, Michael R. , Rosamond, Frances A. , Rotics, Udi , Szeider, Stefan
- Resource Type: journal article
- Date: 2009
Clique width minimization is NP-hard
- Creator: Fellows, Michael R. , Rosamond, Frances A. , Rotics, Udi , Szeider, Stefan
- Resource Type: conference paper
- Date: 2006
On finding short resolution refutations and small unsatisfiable subsets
- Creator: Fellows, Michael R. , Szeider, Stefan , Wrightson, Graham
- Resource Type: journal article
- Date: 2006